1. Forma y modalidad :
پدیدآورنده : Mario Gómez Torrente.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
رده :
BC135
.
G65
2000
2. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
3. Objects and modalities : a study in the semantics of modal logic
پدیدآورنده : Tulenheimo, Tero
کتابخانه: (طهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6T85
4. Temporal logic
پدیدآورنده : [by] Nicholas Rescher and Alasdair Urquhart
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical,Time,Modality (Logic)
رده :
BC
,
135
,.
R448